An Update Semantics for Prima Facie Obligations
نویسندگان
چکیده
The deontic logic dus is a deontic update semantics for prescriptive obligations based on the update semantics of Veltman. In dus the definition of logical validity of obligations is not based on static truth values but on dynamic action transitions. In this paper prescriptive prima facie obligations are formalized in update semantics. The logic formalizes the specificity principle, has reinstatement and does not have an irrelevance problem. Moreover, it handles the diagnostic problem by distinguishing between overridden, conflict and factual defeasibility.
منابع مشابه
Dynamic Normative Reasoning Under Uncertainty: How to Distinguish Between Obligations Under Uncertainty and Prima Facie Obligations
The deontic update semantics is a dynamic semantics for prescriptive obligations based on Veltman's update semantics, in which the dynamic evaluation of connicts of hierarchic obligations naturally leads to defeasibility. In this paper we use this dynamic semantics to study the diagnostic problem of defeasible deontic logic. For example, consider a defeasible obligationòught to be done' togethe...
متن کاملThe Logic of Actual Obligation an Alternative Approach to Deontic Logic
The logic of actual obligation The logic of An alternative approach to deontic logic. In this paper we develop a system of deontic logic (LAO, the"; logic of actual obligation) with a.rathep limited scope: we are, only interested in obligations as far as they: are; relevant for deciding: what: actions-actually ought to be done in a particular situation, given some normative system, N. In fact w...
متن کاملDefLog: on the Logical Interpretation of Prima Facie Justified Assumptions
Assumptions are often not considered to be definitely true, but only as prima facie justified. When an assumption is prima facie justified, there can for instance be a reason against it, by which the assumption is not actually justified. The assumption is then said to be defeated. This requires a revision of the standard conception of logical interpretation of sets of assumptions in terms of th...
متن کاملAn Update Semantics for Defeasible Obligations
The deontic logic DUS is a Deontic update semantics for prescriptive obligations based on the update semantics of Veltman. In ous the definition of logical validity of obligations is not based on static truth values but on dynamic action transitions. In this paper prescriptive defeasible obligations are formalized in update semantics and the diagnostic problem of defeasible deon tic logic is d...
متن کاملAvoiding Deontic Explosion by Contextually Restricting Aggregation
In this paper, we present an adaptive logic for deontic conflicts, called P2.1, that is based on Goble’s logic SDLaPe—a bimodal extension of Goble’s logic P that invalidates aggregation for all prima facie obligations. The logic P2.1 has several advantages with respect to SDLaPe. For consistent sets of obligations it yields the same results as Standard Deontic Logic and for inconsistent sets of...
متن کامل